///|
struct S {
  value : Int
}
